24 th Nordic Workshop on Programming Theory

REPORT NO 403 October 2012 B RGENS IS U NI RTAS Department of Informatics UNIVERSITY OF BERGEN Bergen, Norway This report has URL http://www.ii.uib.no/publikasjoner/texrap/pdf/2012-403.pdf Reports in Informatics from Department of Informatics, University of Bergen, Norway, is available at http://www.ii.uib.no/publikasjoner/texrap/. Requests for paper copies of this report can be sent to: Department of Informatics, University of Bergen, Høyteknologisenteret, P.O. Box 7800, N-5020 Bergen, Norway Preface This volume contains the abstracts1 of the talks to be presented at the 24th Nordic Workshop on Programming Theory (NWPT 2012) to take place in Bergen, Norway, 31 October 2 November 2012. The workshop is organized by the Department of Informatics, University of Bergen, and the Bergen University College. The main goal of these workshops is to bring together researchers from Nordic and Baltic region (but not exclusively) active in the field of programming theory. Topics of the workshops cover traditional as well as emerging disciplines within programming theory. In particular, the workshops have encouraged young researchers wishing to enter the field and have often provoded valuable feedback for those already active for many years in this research area. There will be 23 regular presentations at NWPT 2012. In addition the following three invited speakers will give a presentation: Anders Möller (Århus University, Denmark), Juan de Lara (Universidad Autonoma de Madrid, Spain) and Arne Styve (Offshore Simulator Centre, Ålesund, Norway).